Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
411	Disjunction Agreement patterns in a constraint-based framework Maria Flouraki (SOAS) and Despina Kazana (University of Essex) Disjunction is no longer viewed as the mirror image of Conjunction. Taking this as a starting Add to Reading List Source URL: www.hrelp.org Language: English - Date: 2009-05-05 04:10:17 Parts of speech Semantics Verb Quantification Agreement Grammatical number Grammatical case Syntax Logic Linguistics
412	www.mind-consciousness-language.com, (Commentary on Vyvyan Evans’ The Structure of Time Language, meaning and temporal cognition Giorgio Marchetti Add to Reading List Source URL: www.mind-consciousness-language.com Language: English - Date: 2006-10-13 14:50:17 Mind Lexical semantics Philosophical logic Meaning Philosophy of language Word sense Concept Consciousness Semantic memory Linguistics Semantics Cognitive science
413	Elements of Epistemic Crypto Logic (Extended Abstract) Jan van Eijck Malvin Gattinger Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2015-03-16 08:58:37 Model theory Modal logic Non-classical logic Kripke semantics Entailment Structure Epistemic modal logic Linear temporal logic Μ operator Logic Mathematical logic Philosophical logic
414	Applying static analysis techniques for inferring termination conditions of logic programs (preliminary version) F. Mesnard1 and U. Neumerkel2 1 Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2002-06-16 22:50:34 Recursion Prolog Function Fold Boolean algebra B-Prolog Predicate transformer semantics Mathematics Software engineering Computing
415	Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs Xiaoping Chen1 , Jianmin Ji1 , and Fangzhen Lin2 1 School of Computer Science and Technology, Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2009-10-30 01:45:08 Mathematics Propositional calculus Boolean algebra Stable model semantics Predicate logic Answer set programming Clause Modal logic Algorithm Logic Mathematical logic Logic programming
416	A Formalization of Programs in First-Order Logic with a Discrete Linear Order∗ Fangzhen Lin () Department of Computer Science The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, H Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2014-03-07 00:56:20 Logic in computer science Functions and mappings Formal methods Function First-order logic Predicate transformer semantics FO Quasigroup Dynamic logic Mathematics Mathematical logic Logic
417	From Answer Set Logic Programming to Circumscription via Logic of GK Fangzhen Lin and Yi Zhou Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2006-10-13 03:43:14 Mathematics Non-classical logic Model theory Predicate logic Modal logic Stable model semantics First-order logic Interpretation Autoepistemic logic Logic Mathematical logic Logic programming
418	At least et al. The semantics of scalar modifiers Bart Geurts Nijmegen Rick Nouwen Add to Reading List Source URL: ncs.ruhosting.nl Language: English - Date: 2008-10-08 07:36:55 Mathematical logic Quantification Predicate logic Semantics Combinatory logic Superlative Comparative Comparison Polarity item Logic Grammar Linguistics
419	Formatting Papers for NTCS’97 pt bold centered Add to Reading List Source URL: www.foothill.net Language: English - Date: 2007-03-22 15:32:11 Linguistics Philosophy of language Ontology Philosophical logic Cognitive science George Lakoff Relativism Ernst Cassirer Image schema Philosophy Semantics Science
420	Computing Loops With at Most One External Support Rule Xiaoping Chen and Jianmin Ji Fangzhen Lin University of Science and Technology of China Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2008-06-17 04:51:14 Mathematics Rules of inference Boolean algebra Propositional calculus Stable model semantics Answer set programming Negation as failure Modal logic Resolution Logic Logic programming Mathematical logic

UPDATE